Hardware/Software Co-Design Using Functional Languages

In previous work we have developed and prototyped a silion ompiler whi h translates a fun tional language (SAFL) into hardware. The te hniques we use require the restri tion (stati allo atability) that all re ursive alls are in a tail ontext. Here we extend this work, translating a fun tional language with general re ursion by mapping some fun tions dire tly to hardware and others to instru tions for a parameterised CPU. As SAFL is expressive enough to spe ify both CPU and instru tion memory, we are able to explore the hardware/software tradeo s via sour e-to-sour e transformation of a given program. This provides a framework in whi h to investigate hardware/software o-design. A simple ase study is presented. Submitted to DSD ’2000 Maastricht, NL \Neither this paper nor any version lose to it has been or is being o ered elsewhere for publi ation of this paper. If a epted, the paper will be made available in Camera-ready forms by June 15th, 2000, and it will be personally presented at the EUROMICRO 2000 Conferen e by the author or one of the o-authors. The presenting author(s) will pre-register for EUROMICRO 2000 before the due date of the Cameraready paper". Title: Hardware/Software Co-Design using Functional Languages [Extended Abstract] Abstract In previous work we have developed and prototyped a silion ompiler whi h translates a fun tional language (SAFL) into hardware. The te hniques we use require the restri tion (stati allo atability) that all re ursive alls are in a tail ontext. Here we extend this work, translating a fun tional language with general re ursion by mapping some fun tions dire tly to hardware and others to instru tions for a parameterised CPU. As SAFL is expressive enough to spe ify both CPU and instru tion memory, we are able to explore the hardware/software tradeo s via sour e-to-sour e transformation of a given program. This provides a framework in whi h to investigate hardware/software o-design. A simple ase study is presented.